A Church monoid is a particular type of algebraic mathematical structure that provides semantics for a flavour of relevance logic, a weak form of substructural logic.
A Church monoid is a partially ordered commutative monoid that is has a binary operation, “implication”, written that as an operation is right adjoint to the functor . Here is considered as a thin category associated to the underlying poset. Additionally, for all , , resulting in a monoidal category with diagonals, where is the monoidal product.
The operation models intensional conjunction, as models implication, analogous to linear implication in linear logic.
Church monoids were introduced in
and named for Alonzo Church.
Last revised on April 30, 2021 at 07:03:38. See the history of this page for a list of all contributions to it.